Do not update paned position if it's already at the given value

Fixes: https://bugzilla.gnome.org/show_bug.cgi?id=561816

diff --git a/gtk/gtkpaned.c b/gtk/gtkpaned.c
index d0f44433c182ecba884e7bc0ba1a6336a484939a..16681822dded81205aebd9bf9b99800410c7bddd 100644 (file)
--- a/gtk/gtkpaned.c
+++ b/gtk/gtkpaned.c
@@ -1495,6 +1495,9 @@ gtk_paned_set_position (GtkPaned *paned,
   
   g_return_if_fail (GTK_IS_PANED (paned));
 
+  if (paned->child1_size == position)
+    return;
+
   object = G_OBJECT (paned);
   
   if (position >= 0)